(define (problem strips-mprime-x-14)
   (:domain mystery-prime-strips)
   (:objects pea chocolate lobster potato hotdog baguette wurst
             bacon scallion yogurt shrimp flounder papaya cod scallop
             lettuce lemon ham pistachio mutton cucumber triumph curiosity
             excitement achievement learning rest intoxication love
             aesthetics laceration hangover grief sciatica dread loneliness
             abrasion jealousy anger angina anxiety depression anger-1
             laceration-2 prostatitis boils anxiety-3 prostatitis-4 grief-6
             depression-7 jealousy-8 sciatica-15 dread-16 abrasion-5 angina-12
             boils-13 loneliness-14 jealousy-32 grief-9 anger-10
             hangover-11 sciatica-28 boils-29 angina-30 depression-31
             laceration-26 hangover-27 prostatitis-23 loneliness-24 anxiety-25
             dread-22 grief-19 angina-20 abrasion-21 alsace arizona
             pennsylvania surrey quebec bavaria mars vulcan jupiter neptune)
   (:init (food pea)
          (food chocolate)
          (food lobster)
          (food potato)
          (food hotdog)
          (food baguette)
          (food wurst)
          (food bacon)
          (food scallion)
          (food yogurt)
          (food shrimp)
          (food flounder)
          (food papaya)
          (food cod)
          (food scallop)
          (food lettuce)
          (food lemon)
          (food ham)
          (food pistachio)
          (food mutton)
          (food cucumber)
          (pleasure triumph)
          (pleasure curiosity)
          (pleasure excitement)
          (pleasure achievement)
          (pleasure learning)
          (pleasure rest)
          (pleasure intoxication)
          (pleasure love)
          (pleasure aesthetics)
          (pain laceration)
          (pain hangover)
          (pain grief)
          (pain sciatica)
          (pain dread)
          (pain loneliness)
          (pain abrasion)
          (pain jealousy)
          (pain anger)
          (pain angina)
          (pain anxiety)
          (pain depression)
          (pain anger-1)
          (pain laceration-2)
          (pain prostatitis)
          (pain boils)
          (pain anxiety-3)
          (pain prostatitis-4)
          (pain grief-6)
          (pain depression-7)
          (pain jealousy-8)
          (pain sciatica-15)
          (pain dread-16)
          (pain abrasion-5)
          (pain angina-12)
          (pain boils-13)
          (pain loneliness-14)
          (pain jealousy-32)
          (pain grief-9)
          (pain anger-10)
          (pain hangover-11)
          (pain sciatica-28)
          (pain boils-29)
          (pain angina-30)
          (pain depression-31)
          (pain laceration-26)
          (pain hangover-27)
          (pain prostatitis-23)
          (pain loneliness-24)
          (pain anxiety-25)
          (pain dread-22)
          (pain grief-19)
          (pain angina-20)
          (pain abrasion-21)
          (province alsace)
          (province arizona)
          (province pennsylvania)
          (province surrey)
          (province quebec)
          (province bavaria)
          (planet mars)
          (planet vulcan)
          (planet jupiter)
          (planet neptune)
          (harmony love jupiter)
          (harmony rest jupiter)
          (craves sciatica-15 shrimp)
          (locale shrimp surrey)
          (craves depression-7 yogurt)
          (eats bacon scallion)
          (locale cod arizona)
          (eats pea hotdog)
          (locale scallop bavaria)
          (eats lemon cucumber)
          (harmony excitement neptune)
          (eats hotdog pea)
          (craves aesthetics cucumber)
          (craves jealousy potato)
          (eats flounder yogurt)
          (craves boils bacon)
          (eats papaya cod)
          (craves laceration-2 bacon)
          (craves grief-6 yogurt)
          (locale papaya surrey)
          (eats hotdog lobster)
          (eats chocolate wurst)
          (attacks surrey quebec)
          (locale baguette bavaria)
          (locale potato pennsylvania)
          (eats yogurt shrimp)
          (craves angina-30 lettuce)
          (eats scallion shrimp)
          (eats papaya scallion)
          (locale lobster bavaria)
          (locale chocolate pennsylvania)
          (harmony intoxication neptune)
          (eats lettuce pistachio)
          (orbits vulcan jupiter)
          (craves anxiety-3 scallion)
          (craves intoxication ham)
          (craves laceration pea)
          (craves rest scallop)
          (eats mutton cucumber)
          (attacks quebec bavaria)
          (craves loneliness-14 flounder)
          (craves depression wurst)
          (eats shrimp scallion)
          (craves anxiety hotdog)
          (eats bacon yogurt)
          (craves anger-1 bacon)
          (craves loneliness-24 pistachio)
          (eats cod shrimp)
          (craves laceration-26 ham)
          (attacks pennsylvania surrey)
          (eats pistachio lettuce)
          (craves triumph pea)
          (craves grief-19 cucumber)
          (locale wurst arizona)
          (eats shrimp potato)
          (harmony achievement jupiter)
          (craves abrasion-5 shrimp)
          (eats scallop lettuce)
          (craves sciatica chocolate)
          (eats potato pea)
          (craves hangover-27 ham)
          (eats lemon scallop)
          (craves abrasion lobster)
          (craves anger-10 papaya)
          (eats lettuce mutton)
          (eats baguette chocolate)
          (eats scallion scallop)
          (eats ham cucumber)
          (craves love mutton)
          (locale flounder pennsylvania)
          (craves dread-16 shrimp)
          (eats scallion papaya)
          (craves dread lobster)
          (craves prostatitis-4 scallion)
          (eats scallop baguette)
          (craves curiosity chocolate)
          (eats potato wurst)
          (eats scallop lemon)
          (eats yogurt bacon)
          (eats yogurt flounder)
          (harmony triumph vulcan)
          (locale mutton alsace)
          (eats shrimp yogurt)
          (craves boils-13 flounder)
          (craves prostatitis bacon)
          (eats scallion bacon)
          (locale yogurt surrey)
          (craves angina-12 flounder)
          (craves jealousy-8 yogurt)
          (craves loneliness lobster)
          (attacks alsace arizona)
          (locale bacon arizona)
          (craves grief-9 papaya)
          (craves grief chocolate)
          (craves angina potato)
          (eats mutton pistachio)
          (eats lemon ham)
          (eats mutton lettuce)
          (orbits mars vulcan)
          (eats scallop scallion)
          (locale lemon pennsylvania)
          (craves angina-20 cucumber)
          (attacks arizona pennsylvania)
          (locale hotdog bavaria)
          (eats mutton lemon)
          (craves boils-29 lettuce)
          (craves hangover chocolate)
          (eats flounder scallion)
          (locale cucumber pennsylvania)
          (eats wurst potato)
          (harmony curiosity jupiter)
          (locale pea quebec)
          (eats lettuce scallop)
          (craves jealousy-32 papaya)
          (eats lemon mutton)
          (craves sciatica-28 lettuce)
          (eats lobster baguette)
          (eats potato shrimp)
          (craves abrasion-21 cucumber)
          (eats baguette scallop)
          (locale lettuce pennsylvania)
          (eats ham lemon)
          (eats shrimp cod)
          (craves learning yogurt)
          (eats baguette lobster)
          (locale ham bavaria)
          (eats scallion flounder)
          (eats cucumber mutton)
          (eats pea potato)
          (harmony aesthetics neptune)
          (harmony learning neptune)
          (eats cucumber ham)
          (orbits jupiter neptune)
          (craves anxiety-25 pistachio)
          (eats lobster hotdog)
          (eats wurst chocolate)
          (craves hangover-11 papaya)
          (locale pistachio arizona)
          (craves achievement potato)
          (eats chocolate baguette)
          (craves anger potato)
          (craves prostatitis-23 pistachio)
          (craves depression-31 lettuce)
          (eats cod papaya)
          (eats pistachio mutton)
          (eats cucumber lemon)
          (craves excitement lobster)
          (locale scallion surrey)
          (craves dread-22 mutton))
   (:goal (and (craves prostatitis-23 potato)
               (craves anxiety-25 potato))))